Łukasiewicz Propositional logicの無矛盾性の定理